assertion functionはfunctionで定義する